settings: Reset all styles when the enable-animations settings changes
authorBenjamin Otte <otte@redhat.com>
Thu, 1 Nov 2012 11:23:42 +0000 (12:23 +0100)
committerBenjamin Otte <otte@redhat.com>
Thu, 1 Nov 2012 11:27:31 +0000 (12:27 +0100)
commit4067a45affeffed05b4f4e9c85e564b69e2c5c47
treeeafa4227fd4a52b36ce1a73342f5c194b6f2619c
parent625f8a6dd32e5a826192075c73d61e8bcda98070
settings: Reset all styles when the enable-animations settings changes

https://bugzilla.gnome.org/show_bug.cgi?id=686021
gtk/gtksettings.c